1. High-Level Synthesis
پدیدآورنده : \ Philippe Coussy, Adam Morawiec, editors.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Electronic digital computers -- Design and construction -- Data processing. ,Computer hardware description languages.,System design -- Data processing. ,کامپیوترهای رقمی -- طرح و ساختمان -- دادهپردازی ,طراحی سیستم -- دادهپردازی
رده :
E-Book
,
2. High-level system modeling: specification languages
پدیدآورنده : edited by Jean-Michel Berge, Oz Levia, Jacques Rouillard
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computer hardware description languages,، System design
رده :
TK
7885
.
7
.
H53
3. High-level system modeling : specification languages
پدیدآورنده : edited by Jean-Michel Berge, Oz Levia, Jacques Rouillard
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer hardware description languages , System design
رده :
TK
7885
.
7
.
H53
1995
4. Hybrid parallel execution model for logic-based specification languages /
پدیدآورنده : Jeffrey J.P. Tsai, Bing Li.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer hardware description languages.,System design.,Computer hardware description languages.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,System design.
رده :
TK7885
.
7
.
T73
2001eb
5. Hybrid parallel execution model for logic-based specification languages
پدیدآورنده : Tsai, Jeffrey J.-P.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer hardware description languages,، System design
رده :
TK
7885
.
7
.
T74H9
6. Introduction to digital systems design /
پدیدآورنده : Giuliano Donzellini, Luca Oneto, Domenico Ponta, Davide Anguita.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer hardware description languages.,System design.,Algorithms.,Electrical Engineering.,Logic Design.,Computer architecture & logic design.,Computer hardware description languages.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Electrical engineering.,Numerical analysis.,System design.,Technology & Engineering-- Electrical.
رده :
QA76
.
9
.
S88